Prolog Coding Guidelines: Status and Tool Support
نویسندگان
چکیده
منابع مشابه
Coding guidelines for Prolog
Coding standards and good practices are important for all software projects, whatever programming languages they employ. Arguably, Prolog programming can benefit from a disciplined approach more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper aims at being a first step towards filling this gap.
متن کاملProlog(elex): a New Tool to Generate Prolog Tokenizers
This paper presents a tool called Elex(Prolog) to construct tokenizers (lexical analysers, scanners , lexers) in Prolog. It is based on Elex, a multilingual scanner generator by Matthew Phillips. The paper motivates the tool, and presents its functionality and implementation. It also compares Elex(Prolog) to the only alternative Prolog scanner generator that we are aware of: plex. 1 Motivation ...
متن کاملAn exploration of tool support for categorical coding
In this paper we explore tool support for categorical coding of verbal and chat data. We consider tool support for manual coding, automatic coding by learning algorithms, and derive at a socio-technical approach in which human coders and learning algorithms together address the coding task. Given that a literature study suggests researchers devise, adapt and refine a wide variety of coding sche...
متن کاملA PROLOG Tool for Slicing Source Code
We describe a PROLOG tool for slicing source code. We assume that there exists an XML representation of the parse tree of the code. Then, we can perform an analysis of the extended call graph based on methods from the tool VISUR/RAR to determine the relevant predicates for the slice. User–defined policies reflecting the different styles of programming of different users can be plugged into the ...
متن کاملProm: a Exible, Prolog-based Make Tool
Maintenance of large, portable software systems often leads to requirements which cannot be solved by the traditional make tool. Abstract naming schemes for les and programs, as they are used by preprocessors in actual make tools, are fundamental for a more general solution. But, as shown in this paper, a preprocessor is not powerful enough for all requirements. Some kind of \database" with the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.306.8